Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
331	Microsoft PowerPoint - Matwin-Dalhousie-EdCon2013.pptx Add to Reading List Source URL: edcon2013.ischool.syr.edu Language: English - Date: 2013-11-08 16:40:44 Formal sciences Artificial intelligence Natural language processing Statistical natural language processing Data mining Analytics Machine learning Text mining Text analytics Data analysis Science Statistics
332	facultad de inform´atica universidad polit´ecnica de madrid Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis Dragan Ivanovi´c Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-01-13 05:13:43 Science Artificial intelligence Structure Formal concept analysis Lattice Miner Complete lattice Frame language Kepler scientific workflow system Scientific workflow system Lattice theory Workflow technology Workflow
333	5 Darkroom Software If you have a home computer, some way to display a graphics image, and maybe even a way to capture images from a digitizer or a video recorder, you Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Parsing Compiling tools Formal languages Lexical analysis Lex Recursive descent parser Attribute grammar Interpreter Compiler Programming language implementation Software Compiler construction
334	Parsing Composed Grammars with Language Boxes Lukas Diekmann and Laurence Tratt Software Development Team, King’s College London http://soft-dev.org/ Add to Reading List Source URL: soft-dev.org Language: English - Date: 2015-06-10 02:04:11 Computing Parsing expression grammar LL parser Parsing Scannerless parsing Context-free grammar Recursive descent parser LR parser Formal grammar Formal languages Software engineering Programming language implementation
335	Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-27 12:22:24 Computing Association for Computing Machinery Logic in computer science Principles of Programming Languages Programming Language Design and Implementation SIGPLAN Formal verification Model checking Computer Aided Verification Computer science Theoretical computer science Formal methods
336	Mining Apps to Learn Normal Behavior Add to Reading List Source URL: www.informatics-europe.org Language: English - Date: 2014-10-21 03:47:57 Formal methods Logic in computer science SQL Postcondition Specification language Formal specification XML Program synthesis Computing Theoretical computer science Software engineering
337	SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM SECOND EDITION SYSTEMATIC SOFTWARE Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-01-08 04:19:12 Technology Formal specification Specification language Specification Functional specification Software development process Reification Abstraction Vienna Development Method Formal methods Software development Science
338	JMLR: Workshop and Conference Proceedings 34:139–152, 2014 Proceedings of the 12th ICGI Grammatical Inference of some Probabilistic Context-Free Grammars from Positive Data using Minimum Satisfiability Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Grammar Context-free grammar Stochastic context-free grammar Chomsky normal form Formal grammar CYK algorithm LL parser Regular language Grammar induction Formal languages Linguistics Logic
339	Universität Stuttgart Fakultät Informatik, Elektrotechnik und Informationstechnik Compliance Modeling Formal Descriptors and Tools Add to Reading List Source URL: www.iaas.uni-stuttgart.de Language: English - Date: 2014-12-30 07:50:16 Systems engineering Regulatory compliance Structure Business Process Model and Notation Compliance requirements Modeling language Tosca Business process modeling Compliance and ethics program Process management Design Management
340	JMLR: Workshop and Conference Proceedings 34:49–63, 2014 Proceedings of the 12th ICGI A bottom-up efficient algorithm learning substitutable languages from positive examples Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Software engineering String Regular language Context-free grammar Formal grammar Regular expression Algorithm Formal languages Combinatorics Mathematics

UPDATE